- logical-connection verification
- Компьютерная техника: проверка правильности логического соединения
Универсальный англо-русский словарь. Академик.ру. 2011.
logical-connection verification
Смотреть что такое "logical-connection verification" в других словарях:
Emotivism — (also known as the hurrah/boo theory) is the meta ethical view which claims that: # Ethical sentences do not express propositions. # Instead, ethical sentences express emotional attitudes. [Garner and Rosen, Moral Philosophy , chapter 13 (… … Wikipedia
Security token — Several types of security tokens with a penny for scale … Wikipedia
Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; … Universalium
metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… … Universalium
analytic philosophy — n. a 20th cent. philosophic movement characterized by its method of analyzing concepts and statements in the light of common experience and ordinary language so as to eliminate confusions of thought and resolve many traditional philosophical… … Universalium
Induction — • Induction is the conscious mental process by which we pass from the perception of particular phenomena (things and events) to the knowledge of general truths Catholic Encyclopedia. Kevin Knight. 2006. Induction Induction … Catholic encyclopedia
James, William — American pragmatism James J.E.Tiles THE BERKELEY LECTURE Pragmatism was introduced to society in a lecture given by William James1 to the Philosophical Union at the University of California in Berkeley on 26 August 1898.2 In his lecture James… … History of philosophy
language, philosophy of — Philosophical study of the nature and use of natural languages and the relations between language, language users, and the world. It encompasses the philosophical study of linguistic meaning (see semantics), the philosophical study of language… … Universalium
The Real Presence of Christ in the Eucharist — The Real Presence of Christ in the Eucharist † Catholic Encyclopedia ► The Real Presence of Christ in the Eucharist In this article we shall consider: ♦ the fact of the Real Presence, which is, indeed, the central dogma; ♦ the … Catholic encyclopedia
Charles Peirce — Infobox Scientist name = Charles Peirce box width = image size = 200px caption = Charles Peirce birth date = September 10, 1839 birth place = Cambridge, Massachusetts death date = April 19, 1914 death place = residence = citizenship = nationality … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
